00010	(SETQ FNNO 0)(SETQ PREFN (SETQ EQUAL(SETQ PREPREDLET(SETQ IVAR(SETQ INFN NIL)))))
00016	(SETQ FNNAM @AXIOM)(SETQ UFLG NIL)(SETQ ITER 0)
00019	(SETQ THEOREMNAME @THEOREM)(SETQ INFN @(%))
00022	(SETQ INFPREDLET NIL)
00035	(SETQ NO 10.)
00050	(SETQ STRATLIST (QUOTE (ALLPOS ALLNEG ANCESTRY SUPPORT MODEL NONE 
00075	   VINE UNIT ORDER  MERGE )))
00100	(SETQ STATEVECTOR (QUOTE ( STRATEGY SUPPORT 
00200	EDITSTRAT  MERGE ORDER DEBUG DEPTH LENGTH ANCESTRY 
00300	 PMODEL NMODEL PFLG EQUAL PDEPTH DLIST 
00400	 )))
01400	
01500	(SETQ ESCAPE (QUOTE $))
01600	
01700	
01800	(DEFPROP PRINIT(LAMBDA()(PROG NIL
01900	(SETQ NEGSGN(SETQ ONEGSGN @¬))
02000	(SETQ ESCAPE @$)
02050	(SDIOINIT)
02100	(GETSYM SUBR PMEMQ STOP UNIFAB UNIAB TTYIN ORDERP POTZ1 SETU)
02150	(GETSYM SUBR XXTRY ISIT ISITN)
02200	))EXPR)
02300	
02400	
02500	(DE %TRY(X)(XXTRY X))